89d7189468fc914ece1291307abd568eed07b9d0,basex-core/src/main/java/org/basex/core/GlobalOptions.java,GlobalOptions,GlobalOptions,#boolean#,93

Before Change


    final String ph = get(PROXYHOST);
    final String pp = Integer.toString(get(PROXYPORT));
    setSystem("http.proxyHost", ph);
    setSystem("http.proxyPort", pp);
    setSystem("https.proxyHost", ph);
    setSystem("https.proxyPort", pp);
    setSystem("http.nonProxyHosts", get(NONPROXYHOSTS));

After Change


      setSystem("https.proxyHost", ph);
    }
    final String pp = Integer.toString(get(PROXYPORT));
    if(!pp.isEmpty()) {
      setSystem("http.proxyPort", pp);
      setSystem("https.proxyPort", pp);
    }
    final String nph = get(NONPROXYHOSTS);